Artifact for the paper 'Spirea: A Mechanized Concurrent Separation Logic for Weak Persistent Memory'. The artifact contains a full mechanization of the paper. The project is also available at: https://github.com/logsem/spire
Research Artifact for USENIX Security 2023 paper "Decompiling x86 Deep Neural Network Executables
This is the artifact for the PLDI'23 paper "VMSL: A Separation Logic for Mechanised Robust Safety of...
Software artifact for the paper "Multiparty Motion Coordination: From Choreographies to Robotics Pro...
Artifact for the paper 'Spirea: A Mechanized Concurrent Separation Logic for Weak Persistent Memory'...
This is the artifact for the OOPSLA 2023 paper "Synthesizing Efficient Memoization Functions", inclu...
This is the software artifact for the paper "A Type System for Extracting Functional Specifications ...
This document is the artifact description of the paper entitled “Apollo: Automatic Partition-based O...
This is the artifact for the OOPSLA '23 paper 'Proof Automation for Linearizability in Separation Lo...
This is the artifact for the OOPSLA'23 paper "Melocoton: A Program Logic for Verified Interoperabili...
This is the artifact for the paper "PMThreads: Persistent Memory Threads Harnessing Versioned Shadow...
Artifact for IEEE S&P 2022 paper: "SoK: Demystifying Binary Lifters Through the Lens of Downstream A...
This is the artifact for our OOPSLA'23 paper “Run-Time Prevention of Software Integration Failures o...
Artifact submission of the regular paper: A GPU Tree Database for Many-Core Explicit State Space Exp...
This is the artifact for the paper "Elimination (a,b)-trees with fast, durable updates" published in...
This is the artifact that accompanies the OOPSLA 2020 paper "Programming and Reasoning with Partial ...
Research Artifact for USENIX Security 2023 paper "Decompiling x86 Deep Neural Network Executables
This is the artifact for the PLDI'23 paper "VMSL: A Separation Logic for Mechanised Robust Safety of...
Software artifact for the paper "Multiparty Motion Coordination: From Choreographies to Robotics Pro...
Artifact for the paper 'Spirea: A Mechanized Concurrent Separation Logic for Weak Persistent Memory'...
This is the artifact for the OOPSLA 2023 paper "Synthesizing Efficient Memoization Functions", inclu...
This is the software artifact for the paper "A Type System for Extracting Functional Specifications ...
This document is the artifact description of the paper entitled “Apollo: Automatic Partition-based O...
This is the artifact for the OOPSLA '23 paper 'Proof Automation for Linearizability in Separation Lo...
This is the artifact for the OOPSLA'23 paper "Melocoton: A Program Logic for Verified Interoperabili...
This is the artifact for the paper "PMThreads: Persistent Memory Threads Harnessing Versioned Shadow...
Artifact for IEEE S&P 2022 paper: "SoK: Demystifying Binary Lifters Through the Lens of Downstream A...
This is the artifact for our OOPSLA'23 paper “Run-Time Prevention of Software Integration Failures o...
Artifact submission of the regular paper: A GPU Tree Database for Many-Core Explicit State Space Exp...
This is the artifact for the paper "Elimination (a,b)-trees with fast, durable updates" published in...
This is the artifact that accompanies the OOPSLA 2020 paper "Programming and Reasoning with Partial ...
Research Artifact for USENIX Security 2023 paper "Decompiling x86 Deep Neural Network Executables
This is the artifact for the PLDI'23 paper "VMSL: A Separation Logic for Mechanised Robust Safety of...
Software artifact for the paper "Multiparty Motion Coordination: From Choreographies to Robotics Pro...
DOI
Add to ORKG